philosophical system การใช้

• หลักตรรกะลำดับแรกสุด คือระบบหลักคิดทางปรัชญา ว่าด้วยการให้เหตุผล อย่างการใช้คำว่า "ถ้า/งั้นก็" เป็นคำขยายเพื่อหมายถึง หรือคาดการณ์อนาคต
  First order logic is a philosophical system of reasoning using "if/then" statements as quantifiers or predicates.